Introduction to Automata Theory

#	Item
11	PDF Document Add to Reading List Source URL: www.bottomlayer.com Language: English - Date: 2012-07-20 21:07:25 Digital physics Theory of computation Edward Fredkin Cellular automaton Philosophy of mind Automata theory Quantum mechanics Introduction to quantum mechanics Interpretations of quantum mechanics Physics Science Theoretical physics
12	An introduction to deciding higher-order matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:38 Computer science Automata theory Formal methods Model checking Simply typed lambda calculus Model theory Finite-state machine Mathematical logic Lambda calculus Models of computation Theoretical computer science Theory of computation
13	PDF Document Add to Reading List Source URL: garfield.library.upenn.edu Language: English - Date: 2003-11-17 13:09:17 Mathematics John Hopcroft Introduction to Automata Theory Languages and Computation Automata theory Jeffrey Ullman Alfred Aho Formal languages Computer science Theoretical computer science